Ravenscar Support for Time-Triggered Scheduling

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Synchronous Interface Theories and Time Triggered Scheduling

We propose synchronous interfaces, a new interface theory for discrete-time systems. We use an application to time-triggered scheduling to drive the design choices for our formalism; in particular, additionally to deriving useful mathematical properties, we focus on providing a syntax which is adapted to natural high-level system modeling. As a result, we develop an interface model that relies ...

متن کامل

Scheduling with Optimized Communication for Time-Triggered Embedded Systems

We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. The communication model is based on a timetriggered protocol. We take into consideration overheads due to communication and the execution environment. Communications have been optimized through packaging of messages into...

متن کامل

Control-aware Scheduling for Time-triggered Automotive Systems

This paper presents a schedule optimization approach for control applications in time-triggered automotive systems. Here, both sampling periods an bus as well as operating system schedules are optimized concurrently for a given architecture, a set of applications, and task mapping. Two conflicting optimization goals are considered: the control performance and the load of the system. For a given...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM SIGAda Ada Letters

سال: 2018

ISSN: 1094-3641

DOI: 10.1145/3241950.3241957